<html>
<head><meta charset="utf-8"><title>Strange (contradictory) error · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Strange.20(contradictory).20error.html">Strange (contradictory) error</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="191204867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/Strange%20%28contradictory%29%20error/near/191204867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Arlie Davis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Strange.20(contradictory).20error.html#191204867">(Mar 20 2020 at 05:51)</a>:</h4>
<p>Hello, all. I ran into a strange error today, E0283, which was recommending that I give a type annotation to a closure parameter. However, the closure parameter already has a type annotation. Would anyone have a second to look at this?</p>
<p>Minimal repro: <a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6fcd3b7c42154d139a1e50c9ecf793ed" target="_blank" title="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6fcd3b7c42154d139a1e50c9ecf793ed">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=6fcd3b7c42154d139a1e50c9ecf793ed</a></p>



<a name="191212008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/Strange%20%28contradictory%29%20error/near/191212008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Strange.20(contradictory).20error.html#191212008">(Mar 20 2020 at 08:18)</a>:</h4>
<p>See <a href="https://github.com/rust-lang/rust/issues/70082" target="_blank" title="https://github.com/rust-lang/rust/issues/70082">https://github.com/rust-lang/rust/issues/70082</a></p>



<a name="191263308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/Strange%20%28contradictory%29%20error/near/191263308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Arlie Davis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Strange.20(contradictory).20error.html#191263308">(Mar 20 2020 at 16:03)</a>:</h4>
<p>I see. Thank you!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>